Open core and small groups in dense pairs of topological structures
نویسندگان
چکیده
Dense pairs of geometric topological fields have tame open core, that is, every definable subset in the pair is already reduct. We fix a minor gap published version van den Dries's seminal work on dense o-minimal groups, and show unary function agrees with reduct, off small subset, set internal to predicate. For certain without independence property, whenever underlying group contained dense-codense predicate, law locally reduct as field. If has elimination imaginaries, we extend this result, up interdefinability, all groups
منابع مشابه
On Schur Multipliers of Pairs and Triples of Groups with Topological Approach
In this paper, using a relation between Schur multipliers of pairs and triples of groups, the fundamental group and homology groups of a homotopy pushout of Eilenberg-MacLane spaces, we present among other things some behaviors of Schur multipliers of pairs and triples with respect to free, amalgamated free, and direct products and also direct limits of groups with topological approach.
متن کاملLovely Pairs and Dense Pairs of O-minimal Structures
We study the theory of Lovely pairs of þ-rank one theories, in particular O-minimal theories. We show that the class of א0-saturated dense pairs of O-minimal structures studied by van den Dries [6] agrees with the corresponding class of lovely pairs. We also prove that the theory of lovely pairs of O-minimal structures is super-rosy of rank ≤ ω.
متن کاملDense Pairs of O-minimal Structures
The structure of definable sets and maps in dense elementary pairs of o-minimal expansions of ordered abelian groups is described. It turns out that a certain notion of “small definable set” plays a special role in this description. Introduction. In a classical paper [8] A. Robinson proved the completeness of the theory of real closed fields with a predicate for a proper dense real closed subfi...
متن کاملDimensions, matroids, and dense pairs of first-order structures
A structure M is pregeometric if the algebraic closure is a pregeometry in all M ′ elementarily equivalent to M . We define a generalisation: structures with an existential matroid. The main examples are superstable groups of U-rank a power of ω and d-minimal expansion of fields. Ultraproducts of pregeometric structures expanding a field, while not pregeometric in general, do have an unique exi...
متن کاملThe independence property in generalized dense pairs of structures
We provide a general theorem implying that for a (strongly) dependent theory T the theory of su ciently well-behaved pairs of models of T is again (strongly) dependent. We apply the theorem to the case of lovely pairs of thorn-rank one theories as well as to a setting of dense pairs of rst-order topological theories.
متن کاملذخیره در منابع من
با ذخیره ی این منبع در منابع من، دسترسی به آن را برای استفاده های بعدی آسان تر کنید
ژورنال
عنوان ژورنال: Annals of Pure and Applied Logic
سال: 2021
ISSN: ['0168-0072', '1873-2461']
DOI: https://doi.org/10.1016/j.apal.2020.102858